Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
971	Malleable Signatures: New Definitions and Delegatable Anonymous Credentials Melissa Chase Markulf Kohlweiss Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2014-09-03 04:47:28 Model theory Group signature Proof of knowledge Cryptography Parity of a permutation Digital signature
972	This is the full version of an extended abstract published in ACM CCS[removed]Posted as Report[removed]on 19 August 2013; revised 8 September[removed]Algebraic MACs and Keyed-Verification Anonymous Credentials Melissa Chase Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2014-09-16 08:51:21 Applied mathematics Credential Proof of knowledge Zero-knowledge proof Access control NP IP Model theory Cryptographic protocols Identity management Security
973	An Extension of the Groth-Sahai Proof System Sarah Meiklejohn [removed] Sc.B., Brown University, 2008 Thesis Advisor: Anna Lysyanskaya Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2014-09-03 04:47:55 Complexity classes Cryptographic protocols Non-interactive zero-knowledge proof Zero-knowledge proof NP Proof of knowledge Oracle machine IP PP Theoretical computer science Computational complexity theory Cryptography
974	Laying a Foundation for Proving: Fostering Mathematical Curiosity, Sense Making, and Reasoning Eric Knuth University of Wisconsin Add to Reading List Source URL: www.northwestmathconf.org Language: English - Date: 2013-11-11 15:49:54 Theoretical computer science Proof theory Automated theorem proving Critical thinking Mathematical proof Proof Mathematics Logic Mathematical logic
975	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory
976	Tight Parallel Repetition Theorems for Public-Coin Arguments using KL-divergence Kai-Min Chung1,⋆ and Rafael Pass2,⋆⋆ 1 Academia Sinica Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-13 19:40:20 Statistical theory Kullback–Leibler divergence Thermodynamics Soundness Mathematics IP Information theory Proof theory Logic Science
977	Research Statement Salil Vadhan September[removed] Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2009-08-20 14:10:08 Probabilistic complexity theory Cryptographic protocols Computational complexity theory Randomness Complexity classes Salil Vadhan Zero-knowledge proof Probabilistically checkable proof Pseudorandomness Theoretical computer science Applied mathematics Cryptography
978	A SIMPLE PROOF OF KOSTANT’S THEOREM THAT U (g) IS FREE OVER ITS CENTER Joseph Bernstein and Valery Lunts 0. Introduction Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2006-12-17 14:18:28 Lie algebras Linear algebra Ring theory Representation theory Weight Universal enveloping algebra Projection Basis Vector space Algebra Abstract algebra Mathematics
979	A Language for Legal Discourse I. Basic Features L. Thorne McCarty Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2003-10-01 21:36:09 Proof theory Intuitionistic logic Logic programming Negation Prolog Mathematical proof Modal logic First-order logic Sequent Logic Mathematical logic Non-classical logic
980	SELF-EFFICACY BELIEFS OF GIFTED STUDENTS IN A PROOF CENTERED NUMBER THEORY COURSE SCHOOL SCIENCE AND MATHEMATICS ASSOCIATION ANNUAL MEETING NOVEMBER 8, 2012 Add to Reading List Source URL: ceismc.gatech.edu Language: English - Date: 2014-10-24 16:26:38 Self-efficacy Mathematics Mathematical proof Number theory Algebra Science Knowledge Epistemology Mind Mathematical logic Motivation Positive psychology